Opportunistically Parallel Lambda Calculus
dl.acm.org·22h·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
I Use Python, but I’m Learning R and the Tidyverse for Data Analysis Too
howtogeek.com·6h
📊DataFrame Types
Flag this post
Rdza – Rust Programming, in Polish
github.com·10h·
Discuss: Hacker News
🎓Teaching Compilers
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
coursiv.io·9h·
Discuss: DEV
💬Interactive REPLs
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
⚖️Inference Rules
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Ajla Tutorial
ajla-lang.cz·19h·
Discuss: Hacker News
🔮Lisp Interpreters
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·18h·
Discuss: Hacker News, r/programming
🔗Weak References
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·16h
🔍ML Language
Flag this post
interpreter? hmm...
dev.to·3h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·11h
🎮Language Ergonomics
Flag this post
Show HN: I'm building an open source platform for studying Arabic
parallel-arabic.com·4h·
Discuss: Hacker News
🌉Cross-Language Tools
Flag this post
Agentic Coding Workshop on Vanishing Gradients
everything.intellectronica.net·11h
⚡Live Coding
Flag this post
Issue 496
haskellweekly.news·1d
👑Dependent Haskell
Flag this post
I'm looking for small godot project ideas to practice coding
reddit.com·1d·
Discuss: r/godot
🧸Toy Compilers
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·19h·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
Nim 2.2.6
nim-lang.org·5h·
Discuss: Hacker News
💬Error Messages
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·5h·
Discuss: Lobsters, Hacker News
🗂️Type Indexing
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·1d
🌱Minimal Interpreters
Flag this post